Dealing with Liars: Misbehavior Identification via Rényi-Ulam Games
نویسندگان
چکیده
We address the problem of identifying misbehaving nodes that refuse to forward packets in wireless multi-hop networks. We map the process of locating the misbehaving nodes to the classic Rényi-Ulam game of 20 questions. Compared to previous methods, our mapping allows the evaluation of node behavior on a per-packet basis, without the need for energy-expensive overhearing techniques or intensive acknowledgment schemes. Furthermore, it copes with colluding adversaries that coordinate their behavioral patterns to avoid identification and frame honest nodes. We show via simulations that our algorithms reduce the communication overhead for identifying misbehaving nodes by at least one order of magnitude compared to other methods, while increasing the identification delay logarithmically with the path size.
منابع مشابه
How to play the one-lie Rényi-Ulam game
The one-lie Rényi-Ulam liar game is a 2-player perfect information zero sum game, lasting q rounds, on the set [n] := {1, . . . , n}. In each round Paul chooses a subset A ⊆ [n] and Carole either assigns 1 lie to each element of A or to each element of [n] \ A. Paul wins the regular (resp. pathological) game if after q rounds there is at least one (resp. at most one) element with one or fewer l...
متن کاملProduct logic and probabilistic Ulam games
Connections between games and many-valued logic have been shown first by Mundici [M] for the case of the Rényi-Ulam game and à Lukasiewicz logic. Given a finite set Ω of cardinality N (called the search space) and a natural number n, the Rényi-Ulam game G(N,n) is the following: a player, called Responder, chooses an element of Ω called the secret. The other player, called Questioner, has to gue...
متن کاملThe Rényi-Ulam pathological liar game with a fixed number of lies
The q-round Rényi-Ulam pathological liar game with k lies on the set [n] := {1, . . . , n} is a 2-player perfect information zero sum game. In each round Paul chooses a subset A ⊆ [n] and Carole either assigns 1 lie to each element of A or to each element of [n]\A. Paul wins if after q rounds there is at least one element with k or fewer lies. The game is dual to the original Rényi-Ulam liar ga...
متن کاملPropositional dynamic logic for searching games with errors
We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the n+ 1valued Kripke models and a corresponding language based on a modal extension of Łukasiewicz many-valued logic. We illustrate the definitions by providing a framework for an analysis of the Rényi Ulam searching game with errors. Our main result is the axiomatization of t...
متن کاملAn experimental study of truth-telling in a sender-receiver game
A recent experimental study of Cai and Wang [5] on strategic information transmission games reveals that subjects tend to transmit more information than predicted by the standard equilibrium analysis. To evidence that this overcommunication phenomenon can be explained in some situations in terms of a tension between normative social behavior and incentives for lying, we show that in a simple se...
متن کامل